Power properties of NLC graph grammars with a polynomial membership problem

A Polynomial Algorithm for the Membership Problem with Categorial Grammars

This article presents an overview of a framework called categorial grammars from a theoretical and algorithmic perspective. It provides an introduction to the formalisms of these grammars and of the tools they use (the Lambek Calculus) for theoretical computer scientists who are not familiar with them. We give a clear presentation of the main classical and recent results on these grammars, espe...

On the inference of non-confluent NLC graph grammars

Grammar inference deals with determining (preferably simple) models/grammars consistent with a set of observations. There is a large body of research on grammar inference within the theory of formal languages. However, there is surprisingly little known on grammar inference for graph grammars. In this paper we take a further step in this direction and work within the framework of node label con...

Combinatorial properties of boundary NLC graph languages

Node label controlled (NLC) grammars are graph grammars (operating on node labeled undirected graphs) which rewrite single nodes only and establish connections between the embedded graph and the neighbors of the rewritten node on the basis of the labels of the involved nodes only. They define (possibly infinite) languages of undirected node labeled graphs (or, if we just omit the labels, langua...

Boundary NLC Graph Grammars-Basic Definitions, Normal Forms, and Complexity

On Szeged Polynomial of a Graph